621. Studies in computational science : parallel programming paradigms

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Parallel programming )Computer science(

رده :
QA
76
.
642
.
B76
1995

622. Supercompilers for parallel and vector computers

پدیدآورنده :

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع : ، Supercomputers- Programming,، Compilers )Computer programs(,، Parallel processing )Electronic computers(,، Vector processing )Computer science(

623. Supercompilers for parallel and vector computers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Programming ، Supercomputers,، Compilers )Computer programs(,، Parallel processing )Electronic computers(,، Vector processing )Computer science(

رده :
QA
76
.
6
.
Z55S9

624. Supercomputing :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : High performance computing, Congresses.,Supercomputers, Congresses.,High performance computing.,Supercomputers.

رده :
QA76
.
88

625. Symbolic Algebraic Methods and Verification Methods

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra -- Data processing.,Computer science.,Mathematics.

رده :
QA76
.
9
.
M35
E358
2001

626. Symposium on real-time and hybrid systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
758

627. Systems Programming In Parallel Logic Languages

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Systems Programming (computer science),Parallel Processing (electronic computers)

رده :
QA
،
76
.
66
،.
F67
،
1990

628. Systems programming in Unix/Linux /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)

رده :
QA76
.
76
.
O63
W36
2018

629. Systems programming in parallel logic languages

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Systems programming )Computer science(,، Parallel processing )Electronic computers(

رده :
QA
76
.
66
.
F67
1990

630. Systems programming in parallel logic languages

پدیدآورنده :

موضوع : Systems programming (Computer science),Parallel processing (Electronic computers)

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

631. Systolic Computations

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Mathematics.,Software engineering.

632. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses

رده :
QA
76
.
642
.
T45
1992

633. The Art of Modelling Computational Systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)

رده :
QA76
.
7
.
A78
2019

634. The Book of L

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Computer software.

رده :
QH491
.
B947
1986

635. The Concurrent C programming language

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : C )Computer program language( , Parallel programming )Computer science(

رده :
QA
76
.
73
.
C15
G46
1989

636. The Desin and analysis of parallel algorithms

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Parallel programming )Computer science(,، Algorithms

رده :
QA
76
.
6
.
A38
1989

637. The Handbook of Data Communications and Networks :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer Communication Networks.,Computer science.,Operating systems (Computers)

رده :
TK5105
.
B995
2004

638. The JR programming language :concurrent programming in an extended Java

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)

موضوع : ، JR )Computer program language(,، Parallel programming )Computer science(

رده :
QA
76
.
73
.
J7
O47

639. The Turing omnibus :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.

رده :
QA76
.
D45
1989

640. The art of concurrency

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Parallel programming (Computer science) ; Computer programming ;